Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Guarded Horn Clauses - определение
CLAUSE (A DISJUNCTION OF LITERALS) WITH AT MOST ONE POSITIVE, I.E. UNNEGATED, LITERAL
Horn logic; Definite clause; Horn sentence; Horn clauses; Dual-Horn clause; Horn formula; Universal Horn theory; Horn Logic
Найдено результатов: 640
Guarded Horn Clauses
<language> (GHC) A parallel dialect of Prolog by K. Ueda in
which each clause has a guard. GHC is similar to
Parlog. When several clauses match a goal, their guards
are evaluated in parallel and the first clause whose guard is
found to be true is used and others are rejected. It uses
committed-choice nondeterminism.
See also FGHC, KL1.
(1995-05-09)
definite clause
<logic> A Horn clause that has exactly one {positive
literal}.
(2000-01-24)
Horn clause
<logic> A set of atomic literals with at most one {positive
literal}. Usually written
L < - L1, ..., Ln
or
< - L1, ..., Ln
where n >= 0, " < - " means "is implied by" and comma stands for
conjuction ("AND"). If L is false the clause is regarded as
a goal. Horn clauses can express a subset of statements of
first order logic.
The name "Horn Clause" comes from the logician Alfred Horn,
who first pointed out the significance of such clauses in
1951, in the article "On sentences which are true of direct
unions of algebras", Journal of Symbolic Logic, 16, 14-21.
A definite clause is a Horn clause that has exactly one
positive literal.
(2000-01-24)
Horn clause
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.
guarded
2005 SINGLE BY DISTURBED
Guarded (song); Guarded (Disturbed song)
If you describe someone as guarded, you mean that they are careful not to show their feelings or give away information.
The boy gave him a guarded look...
In the office, Dr. Lahey seemed less guarded, more relaxed.
ADJ
• guardedly
'I am happy, so far,' he says guardedly...
They are guardedly optimistic that the market is on the road to recovery.
ADV: usu ADV with v, ADV adj, also ADV with cl
klaxon
.jpg?width=200)
![Traffic signs exist to prevent drivers from using a horn in certain areas, such as this one in [[Jalalabad]] in Afghanistan](https://commons.wikimedia.org/wiki/Special:FilePath/No Trumpeting Allowed (5375683446).jpg?width=200 "Traffic signs exist to prevent drivers from using a horn in certain areas, such as this one in [[Jalalabad]] in Afghanistan")
![Rolls-Royce]] Phantom I Open Tourer Windovers (1926)](https://commons.wikimedia.org/wiki/Special:FilePath/RollsRoyceHorn.jpg?width=200 "Rolls-Royce]] Phantom I Open Tourer Windovers (1926)")
.jpg?width=200 "Sign on a rural road in the United States warning drivers to \"sound klaxon\" (1920)")
SOUND-MAKING DEVICE EQUIPPED TO MOTOR VEHICLES
Klaxon; Car horn; Klaxon horn; Horn grille; Claxon; Bicycle horn; Awooga; Klaxxon; Mexican doorbell; Sound horn; Electromechanical horn; Electrical horn; Aooga; Bulb horn; Car Horn; Ahooga; Kalooga; Ship horn
['klaks(?)n]
¦ noun trademark a vehicle horn or warning hooter.
Origin
1910: the name of the manufacturers.
French horn
![A horn section in a military [[concert band]]](https://commons.wikimedia.org/wiki/Special:FilePath/DSC 8763 (7084102945).jpg?width=200 "A horn section in a military [[concert band]]")
![Perinet valves]]](https://commons.wikimedia.org/wiki/Special:FilePath/French-horn.png?width=200 "Perinet valves]]")
![Bell]]; the right hand is cupped inside this
}}](https://commons.wikimedia.org/wiki/Special:FilePath/French Horn back.svg?width=200 "Bell]]; the right hand is cupped inside this
}}")
![Conn]] 6D double horn. The three lever keys (above the large valves) can be depressed toward the large outer tube. The thumb key (''near the left-most valve'') moves inward toward the three finger keys.](https://commons.wikimedia.org/wiki/Special:FilePath/French horn detail.jpg?width=200 "Conn]] 6D double horn. The three lever keys (above the large valves) can be depressed toward the large outer tube. The thumb key (''near the left-most valve'') moves inward toward the three finger keys.")
![Gaston Phoebus]] (15th century)](https://commons.wikimedia.org/wiki/Special:FilePath/How to shout and blow Horns Fac simile of a Miniature in the Manuscript of Phoebus Fifteenth Century.png?width=200 "Gaston Phoebus]] (15th century)")
![[[I Solisti Veneti]], the horn section in a chamber baroque orchestra](https://commons.wikimedia.org/wiki/Special:FilePath/I Solisti Veneti, concerto La tromba, regina degli ottoni 27 sett 2022 (Chesa della Rotonda, Rovigo) 03.jpg?width=200 "[[I Solisti Veneti]], the horn section in a chamber baroque orchestra")
.JPG?width=200 "A natural horn has no valves, but can be tuned to a different key by inserting different tubing, as during a rest period.")
TYPE OF BRASS INSTRUMENT MADE OF TUBING WRAPPED INTO A COIL WITH A FLARED BELL
French horns; French Horns; French-horn; Horn in F; Hiefhorn; Hifthorn; Horns in F; Recheat; Recheats; Single horn; Single French horn; Double horn; Double French horn; Triple horn; Triple French horn; French Horn; Single horns; F horn; French Hornist; Waldhorn; Single French Horn; Double French Horn; Single Horn; Double Horn
¦ noun a brass instrument with a coiled tube, valves, and a wide bell, played with the right hand in the bell to soften the tone and increase the range of harmonics.
French horn
TYPE OF BRASS INSTRUMENT MADE OF TUBING WRAPPED INTO A COIL WITH A FLARED BELL
French horns; French Horns; French-horn; Horn in F; Hiefhorn; Hifthorn; Horns in F; Recheat; Recheats; Single horn; Single French horn; Double horn; Double French horn; Triple horn; Triple French horn; French Horn; Single horns; F horn; French Hornist; Waldhorn; Single French Horn; Double French Horn; Single Horn; Double Horn
(French horns)
A French horn is a musical instrument of the brass family. It is shaped like a long metal tube with one wide end, wound round in a circle. You play the French horn by blowing into it and moving valves in order to obtain different notes.
= horn
N-VAR: oft the N
Recheat
TYPE OF BRASS INSTRUMENT MADE OF TUBING WRAPPED INTO A COIL WITH A FLARED BELL
French horns; French Horns; French-horn; Horn in F; Hiefhorn; Hifthorn; Horns in F; Recheat; Recheats; Single horn; Single French horn; Double horn; Double French horn; Triple horn; Triple French horn; French Horn; Single horns; F horn; French Hornist; Waldhorn; Single French Horn; Double French Horn; Single Horn; Double Horn
·vi To blow the recheat.
II. Recheat ·noun A strain given on the horn to call back the hounds when they have lost track of the game.
guarded
2005 SINGLE BY DISTURBED
Guarded (song); Guarded (Disturbed song)
a.
Cautious, wary, circumspect, watchful, careful.
Википедия
Horn clause
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.
